$\forall$$g$:IMonoid, $b$:$\mathbb{B}$, $p$, $q$:$\mid$$g$$\mid$. (when $b$. ($p$ $\ast$ $q$)) = ((when $b$. $p$) $\ast$ (when $b$. $q$)) $\in$ $\mid$$g$$\mid$